Χαρακτηριστική Όιλερ
Το λήμμα δεν περιέχει πηγές ή αυτές που περιέχει δεν επαρκούν. |
Στα Μαθηματικά, και πιο συγκεκριμένα στην Αλγεβρική Τοπολογία και Πολυεδρική Συνδυαστική, η χαρακτηριστική Όιλερ ( ή χαρακτηριστική Όιλερ-Πουανκαρέ) είναι μια τοπολογική σταθερά, ένας αριθμός που περιγράφει το σχήμα ενός τοπολογικού χώρου ή τη δομή αυτού ανεξάρτητα από τον τρόπο κλίσης του. Κοινώς συμβολίζεται με το γράμμα (Χ).
Η χαρακτηριστική Όιλερ είχε αρχικά οριστεί για τα πολύεδρα και χρησιμοποιήθηκε για την απόδειξη πολλών θεωρημάτων για αυτά, συμπεριλαμβανομένης της ταξινόμησης των Πλατωνικών στερεών. Ο Λέοναρντ Όιλερ, του οποίου το όνομα φέρει η χαρακτηριστική, ευθύνεται για αρκετό από αυτό το πρώιμο έργο. Στα σύγχρονα μαθηματικά, η χαρακτηριστική Όιλερ προκύπτει από ομολογία και συνδέεται με πολλές άλλες σταθερές.
Πολύεδρα
[Επεξεργασία | επεξεργασία κώδικα]Η χαρακτηριστική του Όιλερ έχει κλασικά οριστεί για τις επιφάνειες των πολύεδρων, σύμφωνα με τον τύπο
όπου V, E, και F είναι αντίστοιχα οι αριθμοί των κορυφών (γωνίες), ακμών και εδρών του δοσμένου πολυγώνου. Οποιαδήποτε επιφάνεια κυρτού πολύεδρου έχει χαρακτηριστική Όιλερ.
Το αποτέλεσμα αυτό είναι γνωστό ως τύπος πολύεδρουΌιλερ ή θεώρημα. Αντιστοιχεί στη χαρακτηριστική Όιλερ της σφαίρας (π.χ. χ = 2), και εφαρμόζεται πανομοιότυπα στα σφαιρικά πολύεδρα. Μία απεικόνιση του τύπου σε κάποια πολύεδρα δίνεται παρακάτω.
Όνομα | Εικόνα | Κορυφές V |
Ακμές E |
Έδρες F |
Χαρακτηριστική Όιλερ: V − E + F |
---|---|---|---|---|---|
Τετράεδρο | 4 | 6 | 4 | 2 | |
Εξάεδρο ή κύβος | 8 | 12 | 6 | 2 | |
Οκτάεδρο | 6 | 12 | 8 | 2 | |
Δωδεκάεδρο | 20 | 30 | 12 | 2 | |
Εικοσάεδρο | 12 | 30 | 20 | 2 |
Οι επιφάνειες των μη κυρτών πολύεδρων μπορεί να έχουν διάφορους αριθμούς για χαρακτηριστική Όιλερ.
Όνομα | Εικόνα | Κορυφές V |
Ακμές E |
Έδρες F |
Χαρακτηριστική Όιλερ: V − E + F |
---|---|---|---|---|---|
Τετραημιεξάεδρο | 6 | 12 | 7 | 1 | |
Οκταημιοκτάεδρο | 12 | 24 | 12 | 0 | |
Κυβοημιοκτάεδρο | 12 | 24 | 10 | −2 | |
Μέγα Εικοσάεδρο | 12 | 30 | 20 | 2 |
Για τα κανονικά πολύεδρα, ο Άρθουρ Κάλευ βρήκε μια τροποποιημένη μορφή του τύπου Όιλερ χρησιμοποιώντας τις πυκνότητες του πολύεδρου D με στοιχεία κορυφής και έδρες :
Αυτή η έκδοση ισχύει τόσο για κυρτά πολύεδρα (όπου οι όλες οι πυκνότητες είναι 1), και για τα μη κυρτά πολύεδρα Kepler-Poinsot:
Τα προβολικά πολύεδρα έχουν όλα χαρακτηριστική Όιλερ 1, που αντιστοιχεί στο πραγματικό προβολικό επίπεδο, ενώ τα σπειροειδή πολύεδρα έχουν όλα χαρακτηριστική Όιλερ 0, που αντιστοιχεί στον τόρο.
Επίπεδα γραφήματα
[Επεξεργασία | επεξεργασία κώδικα]Η χαρακτηριστική Όιλερ μπορεί να οριστεί για ενωμένες επίπεδες γραφικές παραστάσεις από τον ίδιο τύπο όπως στις πολυεδρικές επιφάνειες όπου F είναι ο αριθμός των εδρών στο γράφημα, συμπεριλαμβανομένης και της εξωτερικής έδρας. Η χαρακτηριστική του Όιλερ για κάθε επίπεδο ενωμένο γράφημα G είναι 2. Αυτό αποδεικνύεται εύκολα από επαγωγή στον αριθμό των εδρών που προσδιορίζονται από το G ,ξεκινώντας από ένα δέντρο όπως στην αρχική υπόθεση. Για δέντρα, E = V-1 και F = 1. Εάν το G έχει C συνιστώσες, το ίδιο επιχείρημα με επαγωγή στο F δείχνει ότι . Mία από τις λίγες δημοσιεύσεις θεωρίας γραφημάτων του Κοσύ αποδεικνύει επίσης αυτό το αποτέλεσμα.
Διαμέσου της στερεογραφική προβολής οι χάρτες των αεροπλάνων για τη δισδιάστατη σφαίρα, όπως ακριβώς ένα ενωμένο γράφημα χαρτών σε μια πολυγωνική αποσύνθεση της σφαίρας, η οποία έχει χαρακτηριστική Όιλερ 2. Αυτή η άποψη είναι σιωπηρή στην απόδειξη του Κωσύ για τον τύπο του Όιλερ που δίνεται παρακάτω.
Απόδειξη του τύπουΌιλερ
[Επεξεργασία | επεξεργασία κώδικα]Υπάρχουν πολλές αποδείξεις για τον τύπο του Όιλερ. Μία από αυτές έχει δοθεί από τον Κωσύ το 1811 ως εξής. Iσχύει για κάθε κυρτό πολύεδρο, και γενικά για κάθε πολύεδρο, του οποίου το σύνορο είναι τοπολογικά ισοδύναμο με μία σφαίρα και οι έδρες του είναι τοπολογικά ισοδύναμες με δίσκους.
Αφαιρέστε μία έδρα της πολυεδρικής επιφάνειας. Με την απομάκρυνση των κορυφών, μακριά η μία της άλλης, της έδρας που αφαιρέθηκε, μετασχηματίζεται όλες τις υπόλοιπες σε μια επίπεδη γραφική παράσταση σημείων και καμπύλων, όπως φαίνεται στο πρώτο από τα τρία γραφήματα για την ειδική περίπτωση του κύβου.(Η υπόθεση ότι η πολυεδρική επιφάνεια είναι ομομορφική στην σφαίρα στην αρχή, είναι αυτό που το κάνει εφικτό.) Μετά από αυτόν τον μετασχηματισμό, οι κανονικές έδρες δεν είναι πλέον κανονικές. Ο αριθμός των κορυφών και των ακμών έχει παραμείνει ίδιος, αλλά ο αριθμός των εδρών έχει μειωθεί κατά 1. Ως εκ τούτου, η απόδειξη του τύπουΌιλερ για το πολύεδρο περιορίζεται στην απόδειξη V − E + F =1 για το μετασχηματισμένο αυτό, επίπεδο σχήμα.
Εάν υπάρχει μία έδρα με περισσότερες από τρεις πλευρές, σχεδιάσετε μία διαγώνιο, δηλαδή, μια καμπύλη στην έδρα που συνδέει τις δύο κορυφές, που δεν έχουν συνδεθεί ακόμα. Έτσι προστίθεται μια ακμή και μία έδρα και δεν αλλάζει ο αριθμός των κορυφών, γι 'αυτό και δεν αλλάζει η ποσότητα V − E + F. (Η υπόθεση ότι όλες οι έδρες είναι δίσκοι είναι απαραίτητη εδώ, για να αποδειχθεί μέσω του θεωρήματος καμπύλης Τζόρνταν ότι αυτή η διαδικασία αυξάνει τον αριθμό των εδρών κατά μία). Συνεχίστε προσθέτοντας ακμές κατά αυτόν τον τρόπο έως ότου όλες οι έδρες να είναι τριγωνικές.
Εφαρμόστε επανειλημμένα οποιοδήποτε από τους ακόλουθους δύο μετασχηματισμούς, διατηρώντας αναλλοίωτο το ότι το εξωτερικό σύνορο είναι πάντα ένας απλός κύκλος:
- Αφαιρέστε ένα τρίγωνο με μία μόνο ακμή προσκείμενη προς το εξωτερικό, όπως απεικονίζεται στο δεύτερο γράφημα. Αυτό μειώνει τον αριθμό των ακμών και εδρών κατά ένα αντίστοιχα αλλά δεν αλλάζει τον αριθμό των κορυφών, έτσι ώστε να διατηρείται το V − E + F.
- Αφαιρέστε ένα τρίγωνο με δύο ακμές που μοιράζονται το εξωτερικό του δικτύου, όπως απεικονίζεται στο τρίτο γράφημα. Κάθε απομάκρυνση τριγώνου αφαιρεί μια κορυφή, δύο ακμές και μία έδρα, έτσι ώστε να διατηρείται το V − E + F.
Αυτοί οι μετασχηματισμοί μειώνουν τελικά την επίπεδη καμπύλη σε ένα μόνο τρίγωνο. (Χωρίς την σταθερά του απλού κύκλου, αφαιρώντας ένα τρίγωνο μπορεί να αποσυνδεθούν τα τρίγωνα που παραμένουν, ακυρώνοντας το υπόλοιπο επιχείρημα. Μία ορθή σειρά απομάκρυνσης είναι ένα στοιχειώδες παράδειγμα ενός τοπολογικού κελύφους.)
Σε αυτό το σημείο το μονό τρίγωνο έχει V = 3, E = 3, και F = 1, έτσι ώστε V − E + F = 1. Δεδομένου ότι κάθε ένα από τα δύο παραπάνω βήματα μετασχηματισμού διατηρούν την ποσότητα αυτή, έχουμε δείξει V − E + F = 1 για το μετασχηματισμένο, επίπεδο σχήμα αποδεικνύοντας έτσι V − E + F = 2 για το πολύεδρο. Αυτό αποδεικνύει το θεώρημα.
Για επιπλέον αποδείξεις, δείτε Είκοσι αποδείξεις του τύπου Όιλερ από τον David Eppstein. Πολλές αποδείξεις, μαζί με τις ατέλειες και τα όριά τους, χρησιμοποιούνται ως παραδείγματα στο Αποδείξεις και Διαψεύσεις του Ίμρε Λάκατος (Imre Lakatos).
Τοπολογικός ορισμός
[Επεξεργασία | επεξεργασία κώδικα]Οι πολυεδρικές επιφάνειες που συζητήθηκαν παραπάνω είναι, στη σύγχρονη γλώσσα, δύο διαστάσεων πεπερασμένα CW-σύμπλοκα. (Όταν χρησιμοποιούνται μόνο τριγωνικές επιφάνειες, είναι δύο διαστάσεων πεπερασμένα απλά σύμπλοκα.) Σε γενικές γραμμές, για οποιοδήποτε πεπερασμένο CW-σύμπλοκο, η χαρακτηριστική Όιλερ μπορεί να οριστεί ως το εναλλασσόμενο άθροισμα
όπου το kn υποδηλώνει τον αριθμό των στοιχείων διάστασης n στο σύμπλοκο.
Παρομοίως, για ένα απλό σύμπλοκο, η χαρακτηριστική Όιλερ ισούται με το εναλλασσόμενο άθροισμα
όπου το kn d υποδηλώνει των αριθμό των n-στοιχείων στο σύμπλοκο.
Γενικότερα ακόμα, για κάθε τοπολογικό χώρο, μπορούμε να ορίσουμε το nοστο αριθμό Betti bn ως την τάξη της n-ης μοναδικής ομολογικής ομάδας. Η χαρακτηριστική Όιλερ μπορεί στη έτσι να οριστεί ως το εναλλασσόμενο άθροισμα
Η ποσότητα αυτή είναι καλά ορισμένη εάν οι αριθμοί Betti είναι όλοι πεπερασμένοι και αν είναι μηδενικοί πέρα από ένα ορισμένο δείκτη n0. Για απλά σύμπλοκα, αυτός δεν είναι ο ίδιος ορισμός όπως στην προηγούμενη παράγραφο, αλλά ένας υπολογισμός ομολογίας δείχνει ότι οι δύο ορισμοί θα δώσουν την ίδια τιμή για .
Ιδιότητες
[Επεξεργασία | επεξεργασία κώδικα]Η χαρακτηριστική Όιλερ κάθε κλειστής περιττής διάστασης πολλαπλότητας είναι μηδέν. Η υπόθεση προσανατολισμένων παραδειγμάτων είναι απόρροια της δυαδικότητας Πουανκαρέ. Αυτή η ιδιότητα εφαρμόζεται γενικά σε κάθε συμπαγές στρωματοποιημένo χώρο του οποίου όλα τα στρώματα είναι περιττής διάστασης. Επιπλέον, η χαρακτηριστική Όιλερ ανταποκρίνεται καλά όσον αφορά πολλές βασικές ιδιότητες τοπολογικών χώρων, ως ακολούθως.
Ομότοπη αναλλοίωτη
[Επεξεργασία | επεξεργασία κώδικα]Δεδομένου ότι η ομολογία είναι μια τοπολογική αναλλοίωτη (όντως, ομότοπη αναλλοίωτη — δύο τοπολογικοί χώροι που είναι ομότοπα ισοδύναμοι έχουν ομολογικά ισόμορφες ομάδες), όπως η χαρακτηριστική Όιλερ.
Για παράδειγμα, οποιοδήποτε κυρτό πολύεδρο είναι ομομορφικό στην τρισδιάστατη μπάλα, ώστε η επιφάνειά του να είναι ομομορφική (εξ ού ομότοπα ισοδύναμο) με τη δισδιάστατη σφαίρα, η οποία έχει χαρακτηριστική Όιλερ 2. Αυτό εξηγεί γιατί τα κυρτά πολύεδρα έχουν χαρακτηριστική Όιλερ 2.
Αρχή εγκλεισμού-αποκλεισμού
[Επεξεργασία | επεξεργασία κώδικα]Αν Μ και Ν είναι δύο τοπολογικοί χώροι, τότε η χαρακτηριστική Όιλερ της διακριτής ένωσης τους είναι το άθροισμα των χαρακτηριστικών Όιλερ τους, δεδομένου ότι η ομολογία είναι προσθετική υπό διακριτή ένωση:
Γενικότερα, αν M και N είναι υποχώροι ενός μεγαλύτερου χώρου X, τότε είναι και η ένωση και η τομή τους. Σε ορισμένες περιπτώσεις, η χαρακτηριστική Όιλερ υπακούει σε μια εκδοχή της αρχής εγκλεισμού-αποκλεισμού:
Αυτό ισχύει στις ακόλουθες περιπτώσεις:
- αν Μ και Ν είναι ένα εξαιρούμενο ζευγάρι. Ειδικότερα, εάν το εσωτερικό των M και N εντός της ένωσης εξακολουθεί να καλύπτει την ένωση.
- αν X είναι ένας τοπικά συμπαγής χώρος και χρησιμοποιεί χαρακτηριστικές Όιλερ με συμπαγή στηρίγματα, δεν απαιτούνται υποθέσεις σχετικά με τα M ή N.
- αν το Χ είναι ένας στρωματοποιημένος χώρος, του οποίου όλα τα στρώματα είναι άρτιας διάστασης, η αρχή εγκλεισμού-αποκλεισμού ισχύει αν τα Μ και Ν είναι ενώσεις στρωμάτων. Αυτό ισχύει ιδιαίτερα εάν τα Μ και Ν είναι μέρη μίας μιγαδικής αλγεβρικής μεταβλητής.
Σε γενικές γραμμές, η αρχή εγκλεισμού-αποκλεισμού είναι λανθασμένη. Ένα αντιπαράδειγμα δίνεται εάν πάρουμε X να είναι η πραγματική ευθεία, M ένα υποσύνολο που αποτελείται από ένα σημείο και Ν το συμπλήρωμα του M.
Ιδιότητα Γινομένου
[Επεξεργασία | επεξεργασία κώδικα]Επίσης, η χαρακτηριστική Όιλερ οποιουδήποτε χώρου γινομένου Μ × N είναι
Αυτές οι προσθετικές και πολλαπλασιαστικές ιδιότητες επιβεβαιώνονται επίσης από τον πληθικό αριθμό των συνόλων. Με τον τρόπο αυτό, η χαρακτηριστική Όιλερ μπορεί να θεωρηθεί ως μια γενίκευση του πληθικού αριθμού.
Επικαλυμμένοι χώροι
[Επεξεργασία | επεξεργασία κώδικα]Για περισσότερες πληροφορίες σχετικά με αυτό το ζήτημα, μελετήστε τον τύπο Riemann–Hurwitz.
Ομοίως, για ένα k-φορές επικαλυμμένο χώρο , έχουμε
Γενικότερα, για ένα επικαλυμμένο χώρο που διακλαδίζεται, η χαρακτηριστικήΌιλερ του επικαλύμματος μπορεί να υπολογιστεί από τα παραπάνω, με ένα συντελεστή διόρθωσης για τα σημεία διακλάδωσης, ο οποίος δίνει τον τύπο Riemann-Hurwitz.
Νηματική Ιδιότητα
[Επεξεργασία | επεξεργασία κώδικα]Η ιδιότητα γινομένου ισχύει πολύ πιο γενικά, για νηματικές απεικονίσεις με ορισμένες προϋποθέσεις.
Εάν είναι μία νηματική απεικόνιση με νήμα F, με τη βάση B συνδετικό μονοπάτι, και τη νηματική απεικόνιση προσανατολισμένη σε ένα ένα πεδίο Κ, τότε η χαρακτηριστικήΌιλερ με συντελεστές στο πεδίο Κ ικανοποιεί την ιδιότητα του γινομένου:
Αυτό περιλαμβάνει χώρους γινομένων και χώρους επικαλυμμάτων ως ειδικές περιπτώσεις, και μπορεί να αποδειχθεί από την Serre φασματική ακολουθία στην ομολογία μιας νηματικής απεικόνισης.
Για δέσμες νημάτων, αυτό μπορεί επίσης να γίνει κατανοητό από την άποψη της απεικόνισης μεταφοράς – σημειώστε ότι αυτό είναι άρση και πηγαίνει «με λανθασμένο τρόπο» - της οποίας η σύνθεση με την απεικόνιση προβολής είναι πολλαπλασιασμός με την τάξηΌιλερ του νήματος: